1. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
پدیدآورنده : Hubert Comon, Claude Marche, Ralf Treinen )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002
